COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Mailed to CSD.SMITH, CSD.GENESERETH, STT
C00005 00003	∂07-Oct-80  0742	CSD.SMITH at SU-SCORE 	Re: Start of Glossary      
C00008 ENDMK
C⊗;
Mailed to CSD.SMITH, CSD.GENESERETH, STT
What's in a Language?
List of terms to be defined -- or at least have a common
meaning to those of us here:

Language
	A set of words and a grammar.  Note this is a-semantic.
	They are inherently Linguistic entitites -- in the manner of 
	a grammar is. [See RWW's LS-pairs, ie Language/Structure]
Representation
	A mapping between words in a language and objects,
	relationships, etc. in the (some) world.
	Representation is both an interpretation and a set of symbols
	In this sense, language is a component of a representation
	[See SIGART, p. 68-9 for defn, p.5 for illustration of difficulties]
Representation Language
	Corresponds to "real world" IN NATURAL WAY -
	so the pieces are easy to manipulate
	Each is a scheme for constructing and augmenting
	a representation, including tools for facilitating this process.
	Note than a representation language IS A representation and a language.
Representational Components
	Pieces used in a representation languages.
Representation Language Language
	A scheme for constructing and augmenting
	a representation language, including tools for facilitating same.
	Note than a representation language language IS A representation language.
Linguistic
Epistemologic
	(Epistemological neutrality)
Semantics
Syntax
Model
Interpretation
Frame/Schema/Unit
Slot
Proposition
Inheritance
Default
Modality
Object Centered
Function Centered
Stream Centered
"Reason maintanence" (nee "Truth maintanence")
Justification
Meta-level
Instance
Perspective/View
Self-descriptive
Self-modifiable

Specific to RLL
---------------
Slot Type
Class of Units
Typical Member
∂07-Oct-80  0742	CSD.SMITH at SU-SCORE 	Re: Start of Glossary      
Date:  7 Oct 1980 0736-PDT
From: CSD.SMITH at SU-SCORE
Subject: Re: Start of Glossary  
To: RDG at SU-AI
In-Reply-To: Your message of 6-Oct-80 1659-PDT

RPLACA(("Truth maintenance" ...) "Reason maintenance"]
-------

Date: 27 Oct 1980 1217-PST
From: CSD.SMITH
Subject: next meeting
To: CSD.GENESERETH, CSD.SMITH, CSD.GREINER, CSD.STT, csd.bennett, JD at SU-AI,
    LGC at SU-AI, CSD.CPP, RMS at SU-AI

For this fridays representation meeting the subject will be SDL and FOL.
Readings are Weyrauch's PROLEGOMENA   (in recent AI Journal issue)
	and  Dolyle's SDL chapter (chapter 2).
Also you might think about the following questions (which I hope we can reach
a consensus on):

	What is a "representation"?
	What is a "theory"?  Are they equivalent?
	What does it mean to be an "object" or "individual"?
		(If you think this question is easy, think about your desk or
		office as being a quantum-mechanical wave function.)
	What is the relationship between theories and contexts?
	What would it mean for a theory to refer to itself?
	What would it mean for a process to (have a theory of and) change itself
	...etc.

Cheers.  Dave.
-------
                ---------------

-------